Ulidowski, Irek : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (34)
Les plus populaires
Liste
- Liste
- Tableau

1

Preface: Hybrid automata and oscillatory behaviour in biological systems

Nicola Cannata, Emanuela Merelli, Irek Ulidowski

Journal:

Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 165 KB

english, 2010

2

[Lecture Notes in Computer Science] CONCUR 2012 – Concurrency Theory Volume 7454 ||

Koutny, Maciej, Ulidowski, Irek

Année:

2012

Langue:

english

Fichier:

PDF, 8.09 MB

english, 2012

3

Reversibility and asymmetric conflict in event structures

Phillips, Iain, Ulidowski, Irek

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.39 MB

english, 2015

4

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Finding the Redundant Gates in Reversible Circuits

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 409 KB

english, 2018

5

[Lecture Notes in Computer Science] Reversible Computation: Extending Horizons of Computing Volume 12070 (Selected Results of the COST Action IC1405) ||

Ulidowski, Irek, Lanese, Ivan, Schultz, Ulrik Pagh, Ferreira, Carla

Année:

2020

Fichier:

PDF, 14.31 MB

2020

6

Reversibility and Models for Concurrency

Iain Phillips, Irek Ulidowski

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 338 KB

english, 2007

7

Preface

Nicola Cannata, Emanuela Merelli, Irek Ulidowski

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 101 KB

english, 2009

8

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 96 KB

english, 2010

9

Preface

Peter D. Mosses, Irek Ulidowski

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 117 KB

english, 2007

10

Finite axiom systems for testing preorder and De Simone process languages

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 292 KB

english, 2000

11

Preface

Luca Aceto, Wan Fokkink, Irek Ulidowski

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 57 KB

english, 2005

12

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 55 KB

english, 2005

13

Preface

Peter Mosses, Irek Ulidowski

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 75 KB

english, 2006

14

Operational Semantics of Reversibility in Process Algebra

Iain Phillips, Irek Ulidowski

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 187 KB

english, 2006

15

Ordered SOS Process Languages for Branching and Eager Bisimulations

Irek Ulidowski, Iain Phillips

Journal:

Information and Computation

Année:

2002

Langue:

english

Fichier:

PDF, 281 KB

english, 2002

16

Semantics and expressiveness of ordered SOS

MohammadReza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski

Journal:

Information and Computation

Année:

2009

Langue:

english

Fichier:

PDF, 733 KB

english, 2009

17

Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation

Irek Ulidowski, Shoji Yuen

Journal:

The Journal of Logic and Algebraic Programming

Année:

2004

Langue:

english

Fichier:

PDF, 592 KB

english, 2004

18

Reversing algebraic process calculi

Iain Phillips, Irek Ulidowski

Journal:

The Journal of Logic and Algebraic Programming

Année:

2007

Langue:

english

Fichier:

PDF, 373 KB

english, 2007

19

Generating priority rewrite systems for OSOS process languages

Irek Ulidowski, Shoji Yuen

Journal:

Information and Computation

Année:

2009

Langue:

english

Fichier:

PDF, 839 KB

english, 2009

20

A hierarchy of reverse bisimulations on stable configuration structures

PHILLIPS, IAIN, ULIDOWSKI, IREK

Journal:

Mathematical Structures in Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2012

21

[Lecture Notes in Computer Science] CONCUR 2012 – Concurrency Theory Volume 7454 || A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets

Koutny, Maciej, Ulidowski, Irek

Année:

2012

Langue:

english

Fichier:

PDF, 360 KB

english, 2012

22

Event Identifier Logic

PHILLIPS, IAIN, ULIDOWSKI, IREK

Journal:

Mathematical Structures in Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 565 KB

english, 2013

23

Local reversibility in a Calculus of Covalent Bonding

Kuhn, Stefan, Ulidowski, Irek

Journal:

Science of Computer Programming

Année:

2017

Langue:

english

Fichier:

PDF, 1.55 MB

english, 2017

24

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Checkpoint/Rollback vs Causally-Consistent Reversibility

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 596 KB

english, 2018

25

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 1.78 MB

english, 2018

26

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Physical Foundations of Landauer’s Principle

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 2.37 MB

english, 2018

27

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || A Unified Approach to Quantum Computation and Classical Reversible Computation

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 288 KB

english, 2018

28

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Garbage-Free Reversible Multiplication and Division

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 653 KB

english, 2018

29

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Finite-State Classical Mechanics

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 629 KB

english, 2018

30

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Data Structures and Dynamic Memory Management in Reversible Languages

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 1002 KB

english, 2018

31

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || SAT-based {CNOT, T} Quantum Circuit Synthesis

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 378 KB

english, 2018

32

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Quantum Circuits for Floating-Point Arithmetic

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 416 KB

english, 2018

33

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Reversible Object-Oriented Programming with Region-Based Memory Management

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 343 KB

english, 2018

34

[Lecture Notes in Computer Science] Reversible Computation Volume 11106 (10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings) || Encryption and Reversible Computations

Kari, Jarkko, Ulidowski, Irek

Année:

2018

Langue:

english

Fichier:

PDF, 204 KB

english, 2018